$\forall$${\it the\_es}$:event\_system\{i:l\}, $e$:es{-}E(${\it the\_es}$), $x$:Id.
\\[0ex]es{-}when(${\it the\_es}$; $x$; $e$) $\in$ es{-}vartype(${\it the\_es}$; loc($e$); $x$)